$\forall$${\it es}$:ES, $i$:Id, $P$:(\{$e$:E$\mid$ loc($e$) $=$ $i$ \}$\rightarrow$Prop). $\forall$$e$@$i$. $P$($e$) $\in$ Prop